Current Issue Issue 2 , 2 Vol 22 Summer 2024 Submit Your Paper Published Issues Vol. 22 ✓ Issue 2 , 1 - Summer 2024 ✓ Issue 2 , 2 - Summer 2024 ✓ Issue 1 , 1 - Spring 2024 ✓ Issue 1 , 2 - Spring 2024 Vol. 21 ✓ Issue 4 , 1 - Winter 2023 ✓ Issue 4 , 2 - Winter 2023 ✓ Issue 3 , 1 - Autumn 2023 ✓ Issue 3 , 2 - Autumn 2024 ✓ Issue 2 , 1 - Summer 2023 ✓ Issue 2 , 2 - Summer 2023 ✓ Issue 1 , 1 - Spring 2023 ✓ Issue 1 , 2 - Spring 2023 Vol. 20 ✓ Issue 4 , 1 - Winter 2022 ✓ Issue 4 , 2 - Winter 2023 ✓ Issue 3 , 1 - Autumn 2022 ✓ Issue 3 , 2 - Autumn 2022 ✓ Issue 2 , 1 - Summer 2022 ✓ Issue 2 , 2 - Summer 2022 ✓ Issue 1 , 1 - Spring 2022 ✓ Issue 1 , 2 - Spring 2022 Vol. 19 ✓ Issue 4 , 1 - Winter 2021 ✓ Issue 4 , 2 - Winter 2022 ✓ Issue 3 , 1 - Autumn 2021 ✓ Issue 3 , 2 - Autumn 2022 ✓ Issue 2 , 1 - Summer 2021 ✓ Issue 2 , 2 - Summer 2021 ✓ Issue 1 , 1 - Spring 2021 ✓ Issue 1 , 2 - Spring 2021 Vol. 16 ✓ Issue 4 , 1 - Winter 2019 ✓ Issue 4 , 2 - Winter 2019 ✓ Issue 3 , 2 - Autumn 2021 ✓ Issue 3 , 1 - Autumn 2018 ✓ Issue 2 , 1 - Summer 2021 ✓ Issue 2 , 2 - Summer 2021 ✓ Issue 1 , 2 - Spring 2021 ✓ Issue 1 , 1 - Spring 2018 Vol. 18 ✓ Issue 4 , 1 - Winter 2021 ✓ Issue 4 , 2 - Winter 2021 ✓ Issue 3 , 1 - Autumn 2020 ✓ Issue 3 , 2 - Autumn 2020 ✓ Issue 2 , 1 - Summer 2020 ✓ Issue 2 , 2 - Summer 2020 ✓ Issue 1 , 1 - Spring 2020 ✓ Issue 1 , 2 - Spring 2020 Vol. 17 ✓ Issue 4 , 1 - Winter 2020 ✓ Issue 4 , 2 - Winter 2020 ✓ Issue 3 , 1 - Autumn 2019 ✓ Issue 3 , 2 - Autumn 2019 ✓ Issue 2 , 1 - Summer 2019 ✓ Issue 2 , 2 - Summer 2019 ✓ Issue 1 , 1 - Spring 2019 ✓ Issue 1 , 2 - Spring 2019 Vol. 15 ✓ Issue 4 , 1 - Winter 2018 ✓ Issue 4 , 2 - Winter 2018 ✓ Issue 3 , 1 - Autumn 2017 ✓ Issue 3 , 2 - Autumn 2017 ✓ Issue 2 , 1 - Summer 2017 ✓ Issue 2 , 2 - Summer 2017 ✓ Issue 1 , 1 - Spring 2017 ✓ Issue 1 , 2 - Spring 2017 Vol. 14 ✓ Issue 4 , 1 - Winter 2017 ✓ Issue 4 , 2 - Winter 2017 ✓ Issue 3 , 1 - Autumn 2016 ✓ Issue 3 , 2 - Autumn 2016 ✓ Issue 2 , 2 - Summer 2016 ✓ Issue 2 , 2 - Summer 2016 ✓ Issue 1 , 1 - Spring 2016 ✓ Issue 1 , 2 - Spring 2016 Vol. 13 ✓ Issue 4 - Winter 2016 ✓ Issue 3 - Autumn 2015 ✓ Issue 2 - Summer 2015 ✓ Issue 1 - Spring 2015 Vol. 12 ✓ Issue 4 - Winter 2015 ✓ Issue 3 - Autumn 2014 ✓ Issue 2 - Summer 2014 ✓ Issue 1 - Spring 2014 Vol. 11 ✓ Issue 4 - Winter 2014 ✓ Issue 3 - Autumn 2013 ✓ Issue 2 - Summer 2013 ✓ Issue 1 - Spring 2013 Vol. 10 ✓ Issue 4 - Winter 2013 ✓ Issue 3 - Autumn 2012 ✓ Issue 2 - Summer 2012 ✓ Issue 1 - Spring 2012 Vol. 9 ✓ Issue 4 - Winter 2011 ✓ Issue 3 - Autumn 2011 ✓ Issue 2 - Summer 2011 ✓ Issue 1 - Spring 2011 Vol. 8 ✓ Issue 4 - Winter 2010 ✓ Issue 3 - Autumn 2010 ✓ Issue 2 - Summer 2010 ✓ Issue 1 - Spring 2010 Vol. 7 ✓ Issue 4 - Winter 2009 ✓ Issue 3 - Autumn 2009 ✓ Issue 2 - Summer 2009 ✓ Issue 1 - Spring 2009 Vol. 6 ✓ Issue 4 - Winter 2008 ✓ Issue 3 - Autumn 2008 ✓ Issue 2 - Summer 2008 ✓ Issue 1 - Spring 2008 Vol. 5 ✓ Issue 4 - Winter 2007 ✓ Issue 3 - Autumn 2007 ✓ Issue 2 - Summer 2007 ✓ Issue 1 - Spring 2007 Vol. 4 ✓ Issue 2 - Autumn - Winter 2006 ✓ Issue 1 - Spring - Summer 2006 Vol. 3 ✓ Issue 2 - Autumn - Winter 2005 ✓ Issue 1 - Spring - Summer 2005 Vol. 2 ✓ Issue 2 - Autumn - Winter 2004 ✓ Issue 1 - Spring - Summer 2004 Vol. 1 ✓ Issue 2 - Autumn - Winter 2003 ✓ Issue 1 - Spring - Summer 2003 Menu Contact Journal Browse • Current Issue • By Issue • Author Index • By Subject • By Author
List of Articles model checking Open Access Article Abstract Page Full-Text 1 - A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems عین الله پیرا 20.1001.1.16823745.1401.20.1.8.2
